- eta reduction
- вчт. эта-редукция
The New English-Russian Dictionary of Radio-electronics. F.V Lisovsky . 2005.
eta reduction
Смотреть что такое "eta reduction" в других словарях:
Eta Aquilae — Datenbanklinks zu Eta Aquilae Stern η Aquilae … Deutsch Wikipedia
Eta Orionis — Datenbanklinks zu Eta Orionis Doppelstern η Orionis … Deutsch Wikipedia
Eta Ursae Minoris — Datenbanklinks zu η Ursae Minoris Stern η Ursae Minoris … Deutsch Wikipedia
LSZ reduction formula — In quantum field theory, the LSZ reduction formula is a method to calculate S matrix elements (the scattering amplitudes) from the time ordered correlation functions of a quantum field theory. It is a step of the path that starts from the… … Wikipedia
L-reduction — is a transformation of optimization problems which keeps the approximability features. L reductions in studies of approximability of optimization problems play a similar role to that of polynomial reductions in the studies of computational… … Wikipedia
Beta normal form — In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta redex in… … Wikipedia
Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Lambda-calcul — Le lambda calcul (ou λ calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives … Wikipédia en Français
Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Λ-calcul — Lambda calcul « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of… … Wikipédia en Français
Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… … Wikipedia
